Modelling and analysis of a commercial field bus protocol
نویسندگان
چکیده
We report on an industrial application of UPPAAL, in which a commercial field bus protocol (AF100) is modelled and analysed using the tool. During the case study, a number of imperfections in the protocol logic and its implementation are found and the error sources are debugged based on abstract models of the protocol; respective improvements have been suggested. In this paper, we shall summarize our experiences in dealing with the complexity of the protocol using various modelling and abstraction features provided in UPPAAL. As an example, we study the bus coupler of AF100, which serves as the data link layer of the protocol.
منابع مشابه
Methodical Aspects of VHDL-based Field Bus Modelling with a Controller Area Network
Methodical aspects are described to develop VHDL models of field bus systems. Field bus systems used in automatic control engineering are examples of distributed computing systems. Modelling of such a system is demonstrated with a Controller Area Network (CAN). The consideration ranges from the process to the control devices. Targets are functional verifications as well as performance predictio...
متن کاملRole of Neck Circumference (NC) in Road Traffic Accidents of Commercial Bus and Truck Drivers
Introduction: Sleepiness may predispose drivers to road traffic accidents. Obstructive Sleep Apnea Syndrome is the most common medical cause of sleepiness. Hence increased neck circumference (NC) and obesity are known as obstructive sleep apnea syndrome risk factors. This study was conducted to assess OSAS role in occurrence of road traffic accidents in sleeping drivers of commercial heavy veh...
متن کاملGrammar Based Modelling and Synthesis of Device Drivers and Bus Interfaces
ProGram, a grammar based communication protocol description language, is used for architectural independent modelling of device drivers and bus interfaces for mixed hardwarehoftware systems. The specijication of the protocol is separated from the description of processor bus interfaces and operating system device driver interfaces, which ensures a high ejiciency in device driver development and...
متن کاملModelling and Simulation of Low-Head Hydro Turbine for Small Signal Stability Analysis in Power System
The hydro turbine dynamics have a considerable influence on the dynamic stability of power system. In the study of dynamic stability, the system is modeled by the linear differential equations (small signal analysis). Small signal stability of power systems is needed in all conditions and only is dependent on the conditions of power system performance before commotion occurrence. This paper pr...
متن کاملFinite Element Method Application in Analyzing Magnetic Fields of High Current Bus Duct
The goal of paper is to present the magnetic field calculations in high current bus ducts. Finiteelement method is used to do this. Bus ducts under study have figure such as circle area. Thecalculations will be using mathematical relations, meshed geometric shape and analyzing them.Geometric mean will help us to determine the value of magnetic field. COMSOL software is appliedfor simulation stu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000